Jinolické rybníky - rybník Oborský - Historie