VerlTool: Towards Holistic Agentic Reinforcement Learning with Tool Use