Release v3.1.1: Settings Fix Point Release

This release includes a fix to the settings.ini processing to fix the erroneous renaming of config_directory to config_dir. In addition, install_dest has been renamed intentionally to install_destination as it falls in line with the above style of spelling out each token.

Users of install_dest should update settings.ini when upgrading to this release.

What's Changed

• Simplify if expression by using or by @ThibFrgsGmz in #93
• Refactoring TimeType.compare/le by @ThibFrgsGmz in #95
• lestarch: fixing incorrectly named setting by @LeStarch in #94

Full Changelog: v3.1.0...v3.1.1