Revert "Removed the compilation timeout"
This reverts commit f290b58b.
Apparently I removed the timeout back when I tested a (much too involved) alias analysis.
This reverts commit f290b58b.
Apparently I removed the timeout back when I tested a (much too involved) alias analysis.