Ignore case when comparing existing vs. new choices in select2

When we have "Foo" and somebody types in "foo" we'll use the existing value then.
I think that's currently always desired - otherwise we can make it configurable in the future.
Set initial app version also when *reloading* db
Merge pull request #1529 from njam/select2-createChoice-ignoreCase

Ignore case when comparing existing vs. new choices in select2
Merge pull request #1533 from christopheschwyzer/db-setup-version

Set initial app version also when *reloading* db
Add some docu for autoload paths in binary
Merge pull request #1534 from njam/binary-docu

Add some docu for autoload paths in binary
Merge remote-tracking branch 'upstream/master' into typography
Remove line-height override in usertext
Formatting
Replace @colorFgHeading with @fontColorHeading
Add reset for "-webkit-font-smoothing" on "button
Simplify hasIcon/hasLabel button styles
Change pagination styles
Get rid of @colorFgLinkSubtle