v7.1.2

• added Discord badge to README.md
• added Unix Makefiles warning
• macOS/iOS *.app now uses fancy application name

Full Changelog: v7.1.1...v7.1.2