[CI] bump version number to 2022.03.12~dev

Merge pull request FStarLang#2426 from FStarLang/afromher_parser

[Lexer] Move quote to list of keywords

Merge branch 'master' into _taramana_release

[CI] bump version number to 2022.02.12~dev

[CI] bump version number to 2022.02.05~dev

[CI] bump version number to 2022.01.29~dev

[CI] bump version number to 2022.01.22~dev

[CI] bump version number to 2022.01.15~dev

[CI] bump version number to 2022.01.08~dev

[CI] bump version number to 2022.01.01~dev