Install LevelDB on Travis
Use a ThreadDevice and inproc for the workers