Rudimentary implementation of tokens in warnings

Only #line is supported currently ...