Use plovr-2013-rc3
w3c_device_sensor_event.js is now supplied with Plovr
Use goog.events.Key
Fix invalid typecasts
Fix various type errors related to features
Fix various type errors in ol.structs.RTree
Use setElementShown instead of showElement