Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements