OS X tool for fast switching between stored mouse sensitivity settings