Quick poll / general inquiry: I'm setting up jenkins right now to try to get us out of the current travis CI queue hell