tools for editing/converting sequence files