Update deploy.php to GitHub and git
Merge pull request #179 from proveit-js/updateDeployPhp

Update deploy.php to GitHub and git
Remove STATIC_BASE and use Wikimedia Commons instead

Remove images that have been uploaded to Commons

Issue #173
Use custom link for filing issue so questions are pre-filled

Issue #173
Fix tabs and jQuery 1.9 compatibility

* Replace .toggle( max, min ) (deprecated); minor tweaks to showHideButton element
* Use jQuery UI collapsible support, rather than manual show/hide, which was
  causing bugs; rename tabs element.
* Use beforeActivate instead of show so there's no flash
* Replace events for clicks on tab links with handling in beforeActivate.
  Also move logic to update up/down show/hide button here, required for
  consistent state.
* Change terminology to match jQuery UI Tabs.
* Refactor template/dummy element creation to keep tabs element clean.

Fixes issue #187 and issue #189.
Merge pull request #182 from mattflaschen/githubMigration

GitHub migration
Merge pull request #193 from mattflaschen/fixjQuery1.9AndTabs

Fix tabs and jQuery 1.9 compatibility
Allow local deployments by including API URL in JSON

Uploading the docs is now optional
Merge branch 'moreFlexibleDeployPhp'