Seal-Tools: Self-Instruct Tool Learning Dataset for Agent Tuning and Detailed Benchmark