Beginning to work on /tools cleanup (#613). Starting with the most trivial stuff (installer-related and and misc. files) that doesn't require tons of changes to build scripts. Delete outdated (uses client and server executables) js-viewer-server.bash.