makerandom12mers.py - Remove the hardcoded 12bp sequence length and
add the length to the command line options. (I know, that means this
no longer makes random "12mers", but makerandomwhatevermers.py is a
dumb name for a script.)