Add ability to override jarname

We can now add 'jarname=xxx.jar' in devel.properties (or any target) in
order to override the produced jarname. If 'jarname' property is not
present, we use the default $projectName-$version.jar name.