Rename files and libraries from bitmatch* to bitstring*