The 'dump' command generates files in web/js/ by default

Fix #84