Print.latex: infinity symbols, cleanup
Build: unify build.sh and buildn.sh

build.sh now checks the OS and supports Bash on Windows as well.
buildn.sh is therefore no longer needed.
See also fsprojects/ProjectScaffold#76