Copyright for texmacs source package in Bionic