Gravar-mail: HH-MOTiF: de novo detection of short linear motifs in proteins by Hidden Markov Model comparisons