Python plugin: Add function to get an arbitrary header from a MessageInfo object