A Dedicated Server Manager for ARMA 3