BioProv - A provenance library for bioinformatics workflows | Synapse