infeasible screen implementation work

also unified option list view maker for DMs, infeasibles and mutexes
increase default window size