Lexer/Parser: added ability for putting an integer as value in the options of a place or transition.