Fix link format which my ubuntu machine's maruku didn't like
Add a post about the new cryptic solver tools