HotSpotAnnotations—a database for hotspot mutations and annotations in cancer. (11th May 2020)