WHENCE: Update licensing information about the a56 assembler given the GPLed patches...