Autonomous Generation of Symbolic Knowledge via Option Discovery