Fixed broken call to GetXmlPath in ShortXmlFileNameMappingTests.cs.
Fixed broken VSIX building for srcML service.
Removed CodeContracts from SrcML Service.