Copyright for coin3 source package in Disco