New travis

OK - this in the direction of a new travis configuration. Note that this gives even more reason to drop sharedmem as a dependency: it is not easy to install through an apt-get or through pip, so I am not even sure how we would get it on Travis.