Update Mountain Car and Tetris;
Modify Feature_Ranged::matches(...) to support Symbol_Constant_Int in addition to Symbol_Constant_Float;
Add an --output-dot option;