Update travis config to perform a release build.
Submit search form with GET instead of POST

This is convenient, and also makes the 'To save this search as a link, paste
the text below into a page.' functionality on the search results page actually
work
Make the 'search' page more consistent with the 'properties' page

Renamed 'obsolete' to 'Skip' and moved it under the list of page types.
Remove td/th border style from generic wiki page style sheet.
Make sure "obsolete" parameters keeps working.