Added new helpers, tokens and productions to the LTL grammar for parsing quantified LTL-fromulas ( #id.(unparsed => ltl_formula),  !id.(unparsed => ltl_formula)).