Async make

Makes it possible for the user to run the checkers in the background. It will only be used if the user enabled it, and the syntax checker makes use of it.