map.js: use toolserver.org for hillshading again
terrain: use local get_height.py
Don't serve terrain locally, use toolserver.org

Remove references to old terrain server.
get_height.py: adjust local srtm path
get_height.py: add search path for gdallocationinfo