changing the URL in the config
restoring the VCS config option on second thought
fixing path to spec
changing directory names to match
no need to sed anymore
removing one more property from omit
Merge pull request #79 from runtimeverification/movePropertiesToGit

Move properties to git