Bump release version for '0.2.5'
js/main.js: Apply linter recommendations & fixes

This included indenting to 4 spaces, and fixing a couple of missing
'var' declarations.
tools/dsa: Reindent

Use 4 spaces to indent and no tabs.
Documentation: Add a pre-release checklist
Merge branch 'release/0.3.0'