Update date display format to be less ambiguous (more international).

js.exec_dir is guaranteed to end in a slash, so no need to add one.

Bump version to 3.00.