Update version to 4.0.0.dev and try fix a race condition on job reservation (refs #2)
Update travis-ci config