Missing exception_set_priority API

[alastairpatrick]

As of SDK 1.4.0 there appears to be no way to change system exception priorities. Example usage:

exception_set_priority(SYSTICK_EXCEPTION, 0xFF);

[peterharperuk]

This seems to a have been added.

[kilograham]

fixed