v0.11.3

GAP v0.11.3

Diff since v0.11.2

Merged pull requests:

• Remove banner code and instead use should_show_banner (#1027) (@lgoettgens)
• change the show method for GAP objects (#1038) (@ThomasBreuer)
• fix the availability check in Packages.install (#1039) (@ThomasBreuer)