gvsoc

Now compiling without debug symbols

Added stand-alone cva6

ci: added action to parse junit results

ci: Fixed wrong positive

spatz: several fixes for timed model and added more tests