Unify the release of new versions using Github tags #3
Description
The release of new Truebit versions of the software can be triggered using Github tags. The tagging of a new version must start the Continuous Integration (Travis) process of compiling, packaging and releasing the software.