Barrelfish moved to git!

Please go to http://git.barrelfish.org/