Option Discovery for Autonomous Generation of Symbolic Knowledge