Cause compilation and highlighting to happen asynchronously. Some tweaks to the highlighter.