So, that's it, being able to host a server on the Raspberry Pi.
A few years ago, (to be precise, in 2013) this was suggested (Link here) and it was discarded because the RPi wasn't very fast at the time, which is fair. However, this year a new model of it was released and it is (as they say) x10 faster than the one from 2013. Obviously, you're not going to put 100 people in there, but for a development server it's a pretty nice box.
Thanks.