Gravar-mail: Genome mining strategies for ribosomally synthesised and post-translationally modified peptides