Refactor test case tutorial documentation

The test case tutorial documentation has been refactored using the RST
format. Most hte text was already pretty good, so no major changes have
been made.