Rename halfspace.cpp to HalfSpace.cpp