mineMS2: Annotation of spectral libraries with exact fragmentation patterns