The interactive GDB monitor test has changed recently. This patch updates the documentation accordingly. Fixes #126.