Reinstall of faui0sr0 and faui01

On October 31th we will reinstall the computers faui0sr0 and faui01 to switch the 32-bit system to 64-bit. All stored data on the machines will be wiped, this includes crontabs. Please backup your data.

-- Simon Ruderich