See the GNU GPL in the file LICENSE.
