Support underscore in number literals

[gludit]

Currently:

> 1_000_000
1:1: Bad number literal '1_000_000'

This is already supported in Java since Java 7 and there is also this proposal for SuccessorML - I think it's meanwhile been adopted by most languages.