convert bats to serverspec