Update course notes and some refs.
Some of the search methods' notes are updated, and the e-version of
Artificial Intelligence textbook.