Listing and probably also downloading of maps from Openandromaps works.

Also fixed issue #14: Make sorting of file names in listings not case
sensitive.