suggestion to release Ninja-IDE under GPLv3+ instead of simply GPLv3