Fixes to default key mappings, add default button, fix saving of mapped controls on Android, fixes #3213