Opening VeriGov

Preparing your projects and workspace.