Compilation timeout #67
Description
Make compilation (especially in the language server) timeout after a specific amount of time, as well as interrupting the current compilation of a file if it's updated while another compilation is currently active.