Use unicode-safe encoding of script ID in options URL.

Refs #1732
Remove bashism from build.sh
Do not display no version as "null".

Cast the string "null" back to the literal null, handled correctly at display time, at load time.

Fixes #1734.