update-gh-pages: rm code that fixes ~/.ssh/config
prevented running of update-gh-pages by hand
added a missing require()
took some more compiled code out of git

examples.js is generated based on the examples/ directory
It does not need to be under version control.
took examples.js out of m/all.js

This also fixes the gh-pages build.
No examples are shown in the mobile demo anyway.
Merge remote-tracking branch 'origin/master' into gh-pages
built demo