Add VERSION and mkdist -- now ready for first release!