Jar file should include version number in its name

Rationale

Downloaded jar file should include version number in its name: amies-1.0.1.jar instead of amies.jar. This way, a new release will be downloaded by a puppet run