Add Jenkins builders for 0.4.2
Hooray! Tor 0.4.2 is now a separate branch, and deserves its own Jenkins builders. (The branch is named maint-0.4.2, as usual.)
Hooray! Tor 0.4.2 is now a separate branch, and deserves its own Jenkins builders. (The branch is named maint-0.4.2, as usual.)