An Algorithm to Improve the Speed of Semi and Non-Specific Enzyme Searches in Proteomics.