Add IDAPython script to export function name to binfile.s