[m] theme tweak
Make minification optional

(for easier debugging during development)
repl.js (and main.js) learned to take a eval.js path