Update develop documentation on gh-pages using gh-action.

- Add gh-action workflows.
- Remove old build batches as they are not platform
  independent.
- Add new build bash script.
- Fix all dxy files to use quotes around project name.
- Move footer text (timestamp) into single js file so that
  regenerating documentation doesn't affect unchanged html
  files.