Added option "maven" to download sources from a maven repository, which features a different directory structure that regular apache mirrors. Also the md5 checksum files don't include the filename, so when using the maven option, no md5 checks are done.