HotSpot Wizard 3.0: web server for automated design of mutations and smart libraries based on sequence input information. Issue Volume 46:Issue W1(2018) (23rd May 2018)