Introduce module mvn_get to download Maven artifacts