Is there a version of “HavokContentTools_2013-1-0_20130717_64Bit” that doesn’t require an Autodesk product?
If there is please post a link.
Unfortunately, the Havok content tools are designed to integrate within 3ds Max, Maya or Xsi, they are all professional tools because Havok is designed for professional game development.
Most students will have access to trial or student versions of Autodesk products, and the Havok Content Tools will run just fine on them.
As a side note, while it's not trivial, you can modify whatever tool you have to export Havok specific data (i.e. write your own tool plugins) if you want to use another modeler to author Havok assets.