Dual licensing BSD-3-Clause

[palmskog]

Most of the HOL4 ecosystem, including HolBA and CakeML, use the BSD-3-Clause license. To make it easier to reuse code from this project in other HOL4 projects, how about dual licensing under both Apache-2.0 and BSD-3-Clause?

See here for an example of how multiple licenses can be handled on GitHub.