Make havok_source package name agree with name from repo URL.

Until we get a havok-source package built with new metadata-bearing autobuild,
the package name in autobuild.xml and CMake must agree with the tarball
filename.