-----------------
- Fixed jslint error.
- Added base_layer to map_location_save. It now remembers not only the
extent of the view, but also which base layer was selected.
- Removed default controls from OpenLayers map.
- Added slider zoom control to OpenLayers map.
- Made javascript jslint-approved again.
- Disabled auto zoom in lizard_map.js setUpWorkspaceAcceptable().