gabedit: Added development version 2.4.7

The stable version of gabedit (2.4.0) has not bee updated since 2011 while frequent updates and bugfixes occur through the development versions. This commit adds the option to install with --devel.