Fixes #2. Line numbers are now obfuscated, via `//line` comments. Filenames are now obfuscated via `//line` comments, instead of changing the actual filename. New flag `-tiny` to reduce the binary size, at the cost of reversibility.