spring deb package naming conflict

[spoonincode]

The main (default) Ubuntu package repo contains a package named spring (an RTS game interestingly enough, https://github.com/spring/spring/). It would probably be wise for us to not name our package the same as a package available through the main Ubuntu package repo. (I'd be much less worried about clashing with a third party repo)

Besides "bad form", there may be ways to encounter some unexpected behavior because the spring RTS package is version 106.0 ('newer' than our spring 1.0). Something like

apt install ./spring_1.0.0_amd64.deb
apt-get upgrade

will not disturb our package, but either a apt-get --with-new-pkgs upgrade or apt-get dist-upgrade with both remove our spring package and install the RTS game. I'm not significantly familiar with the wide variety of ways to manage packages and upgrades in the Debian & Ubuntu world so there may be other traps we're laying as well.

I think maybe we should use something like antelope-spring for our package name instead.