How much time and money would it take to set up and maintain a server similar to disroot.org, offering the same services, for a group of ten people?