[tech] Murasoi IP address

[Bob Adamson]

I've been trying to work out why we're not using 130.95.13.1 as the 
address of our routing box, since that is generally the default gateway 
address (and what linux auto-configures when it doesn't have dhcp). As 
nobody on irc could give me an answer, I'm going to switch murasoi's IP to 
.1 . Apologies to anyone who now has to go and change ssh known_hosts, but 
I'm sure you can figure this out, being wheel members and all...

Bob