Add regression test for github issue #133.

Renamed old "issue133" to "trac133", indicating that it uses a different
numbering system.