parametrize verificatum ports and launch two servers with vagrant