Cleanba: A Reproducible and Efficient Distributed Reinforcement Learning Platform