v1.4.1

• Implemented long run average (LRA) computation for DTMCs/CTMCs via value iteration and via gain/bias equations.
• Added several LRA related settings in a new settings module. Note that --minmax:lramethod has been replaced by --lra:nondetmethod.