Renaming virtualsoc to virtualsoc_soft_opt
Merge branch 'master' of https://github.com/Guitoof/A14-4-systemc