Remove all pull request links
Fix 'Source code' links to commits (not master)

@mlecoeuvre
Fix broken bulletted lists
Make Functions bold without <b> in the title

@mlecoeuvre
Remove Travis build for gh-pages

We don't really need this since we always test it locally anyway.
Merge pull request #374 from agouge/small-improvements

Fix several small problems on the website

* Remove all pull request links (Added #___)
* Fix 'Source code' links to commits (and not master)
* Fix broken bulleted lists
* Make Functions bold without `<b>` in the title

Also I remove the Travis build for `gh-pages` because we test it locally anyway.
Update format script
Auto-format entire site

Ignored:

* index.html
* function-aliases.md
* spatial-jdbc.md
* OpenJUMP.md
Fix special cases
Merge pull request #375 from agouge/auto-format

Auto format the entire website

To give it a consistent look-and-feel. Uses my format script.
There were some exceptions and special cases that I had to take care of manually.
Fix ST_IsClosed description
Add Signatures/Description ST_ShortestPathLength
Add Signatures/Description ST_ShortestPath
 Add Signatures/Description ST_ConnectedComponents
Add Signatures/Description ST_GraphAnalysis
Add Signatures/Description ST_Accessibility
Add 'See also' sections
Merge pull request #379 from agouge/graph-docs

Add Signatures, Description, See also for Graph functions
Add search.json

Following tutorial at
    http://thornelabs.net/2014/05/12/instant-search-with-twitter-bootstrap-jekyll-json-and-jquery.html
Actually need site.pages rather than site.posts