Added virtual_headers to compilation stages
Merge branch 'vhs' of https://github.com/SiGe/pyretic into vhs