Zgodovina Cerkniškega jezera