update dev guide for Maven per #2738, install-dev tweak