Renamed boogie solution and removed an old file.