Teensy supports
Keyboard.press(KEY_PAUSE);
Try the TeeOnArdu extension, to use Teensy functionality on Arduino (Leonardo, but it's the same chip as the Micro Pro).
I recently used it to use USB MIDI with Leonardo, and rebuilt it to be compatible with Arduino 1.6.x. You can find the .ZIP attached here, together with some installation help. Just extract it, and copy the folder TeeOnArdu to your ~/Arduino/hardware/ folder. Then select 'TeeOnArdu' in Tools>Board, and select 'Serial + Keyboard + Mouse + Joystick' as USB-type.