More quality-of-life improvements: Exp/Eval/Gen limits, and soft limits#240

guicho271828 wants to merge 3 commits intoaibasel:mainaibasel/downward:mainfrom

guicho271828:flexible-limitsguicho271828/downward:flexible-limitsCopy head branch name to clipboard