copilot-theorem-3.1: CHANGELOG

2019-11-22 Ivan Perez <ivan.perez@nianet.org>
        * Version bump (3.1).
        * Remove ExternFun (#6).