Finally updated the wall of fame

finally updated the wall of fame
now containing WM’s Jimmy Franks (as promised), Trevor Beattie, Babu the red panda, and argh! Charlie Mitton. Send any more nominations to the usual address.