str.partition is quicker than str.split when one only wants the first substring
Merge pull request #4 from vals/minor_python_performance

Slight speedup of readfq.py