[BLUEJ-249] change name of debian package
change the file name of the package that gets built by 'dist' to remove dots from the version number. Eg., instead of
bluej-3.0.0.deb
name it
bluej-300.deb
This enables including it in the scripts that monitor downloads more easily (format matches all other packages).
Issue metadata
- Issue type: Task
- Priority: Low
- Fix versions: 3.0.1