added tools for adding f13-f24 to xmodmap