CI publishing

[emidoots]

Currently, CI does not publish the docker images because building everything takes a while and, more specifically, because Travis runs an outdated version of Ubuntu not capable of providing some of the dependencies we require.

#8 should help with this.