Don't need travis since we have jenkins now.
Use rrr_vector<63> as bit_vector.