WHAT - Web-based HDL Analysis Toolkit