Merge branch 'release/0.1-dev7' into develop
First attempt at full-text search behind the usual GBIF search.
Merge branch 'develop' of github.com:gaurav/taxrefine
Server hackery: limited the number of FT search matches to 500, and modified ./stop.sh so that it deletes the PID file.