Add HTML5 geolocalisation support

See #4.