OpenBoard new 1.4.5 v5.1

All releases are mostly development versions. They can be used, but may contain confusing or unnecessary settings. Settings may be removed or reset on updates. Consider all releases as beta quality at best.

Changes since v5:

• fix a crash, #111, #112