BioKleisli: a digital library for biomedical researchers