Gravar-mail: miRBase: integrating microRNA annotation and deep-sequencing data