There is no released dedicated server, and I'm not sure that the private one (which isn't done to my knowledge) works with linux. The best way to run one is probably to just run a normal server and leave it on. (Sorry I can't help)