Added a new post on the Extreme Value Theorem and tagged partitions

Also fixed two small typos in an old post about MathJax in Octopress.
Added a new post on transitivity of characteristicity

Also added a new shortcut: "\Aut".