Minor change to GUI testing introduction
Add verbatim for temporary links so that the report compiles
Add thoughts on GUI testing
Fix typo in bibliography
Update PDF