Gravar-mail: HotSpot Wizard 3.0: web server for automated design of mutations and smart libraries based on sequence input information