Buttons for geo. map table view, GPS enhanced

BUG FIX

• HTTPS URL's are needed for summernote css/js 8c4f3f6
• Library rdf-ext-all-1.0.0.src.js is loaded in HTTPS like all the rest (thanks bergos!)
• trim URI String From User
  • replace spaces with _ in phone numbers, remove spaces in emails
• fix Sort button in /backlinks page
• When using both HTTP and HTTPS on same server, the Map link in /backlinks was making mixed HTTP and HTTPS content
• dbPedia lookup: do not set QueryClass, as it works often not
• dbpedia lookup: set timeout: 30000

Performance

• Play! is now serving HTML results in gzip
  • => quicker page loading, especially on slow networks

FEATURES

UI

• button for geo. map in /backlinks page a752a5e
• button for /table view on each URI in the form fd3a328
• Continue to update positions in form after first position received from GPS
  • FIX in GPS JS code: new PositionOptions() does not work at runtime
• When annotating a plain HTML page, pre-fill rdfs:label with string after last /
• do not show the draggable anchor if there is no HTML id (in /backlinks page)
• Use case: a non-URI string was in database, but an URI is entered by user
• Table View: add edit button in first column, subject URI

Security

Do not log password in clear !!!!!!!!!

BACKEND

• Load RDF URL's: when HTTP header gives no content-type, try URL extension 2c32570

Zip reloaded after commit 7cb7b6a (FIXEs for editing complex texts + Button for geo. map in /backlinks page )