Refactor rbcs to be monotonically increasing.
Disable gdb pagination in tests.

Adds a -x option to rr to pass additional command files to gdb, and uses this
to pass src/test/test_setup.gdb in all gdb-related tests. This file contains
a command to disable gdb's pagination, which interferes with our test scripts.