miRGator: an integrated system for functional annotation of microRNAs