Installed vm/*.h into aseba/vm/*.h for use by developers.