Added extract-ORFs.py script.

Also, improved dna-to-aa.py to deal with ORF lengths correctly.

Fixes #235