Reset highscores for all levels
Fix bug where incorrect type is exported for three-way intersections

This is caused by incorrect match of regex.
Fix bug where matching round bracket is missing in regex

This bug is introduced in 88a97bb.
Apply formatter to VerilogEditor class
Fix library path
Small fixes for server
Allow changing IP, Port, and whether to send usage

Sample configuration is in server.conf