Using require() to get version number instead of version.js

This means that we no longer need version.js.