Fix the Mono build.

This PR fixes the Mono build by making the .sln and .csproj refer to the right project and files, respectively, and also updates the build to .NET 4.0.