package: set author to "The Idris community"

Author: yurrriq

software_foundations.ipkg

@@ -11,7 +11,7 @@ version    = 0.0.1.0
 readme     = README.md
 -- NOTE: For license information see the file LICENSE.
 
-author     = "Eric Bailey, et al."
+author     = "The Idris community"
 maintainer = "Eric Bailey <[email protected]>"
 
 homepage   = http://idris-hackers.github.io/software-foundations