Test pycosat 0.6.0 in Travis