Witt's Theorem for Groups with Action and Free Leibniz Algebras