Velvet: Algorithms for de novo short read assembly using de Bruijn graphs | Synapse