Map Switcher por JH

Switch between different map services. Convert coordinates and directions and jump to the same location on another map. (Adaptation of David R. Edgar's Chrome extension.)