Expect failures for hdevtools tests

Hdevtools doesn't install with "cabal install" anymore, thus these tests
will fail in either case.
Inhibit readonly while cleaning messages

In Emacs snapshot, *Messages* is read only
Don't change sources.list when provisioning Travis
Refactor selection tests