Gidl: an Interface Description Language - View it on GitHub