improve fsm->regex conversion
add new regex simplification patterns
add new fsm2regex webapp