Fixed overlapping menu.
CNAME file.
STP command-line options renamed, e.g. max-stp-time renamed to max-solver-time and use-forked-stp renamed to use-forked-solver.
Merge pull request #4 from hpalikareva/gh-pages

STP command-line options renamed, e.g. max-stp-time renamed to max-solve...
Three more publications.
Update to the website to reflect the recent move to GitHub.
Fix typo.
Merge pull request #19 from delcypher/gh-pages

Fix typo.
Added DAC'13 paper by Lei et al.
Added note about the CDE package being outdated.  Added 'bc' to dependencies.
Link to KLEE's new buildbot (thanks to Dominic Chen!).
Added link to new doxygen documentation
Added note about LLVM2.9 compilation issues.
Fix typo.
Added a page on KLEE intrinsics
Updated the broken GetStarted instructions.  In particular, the CDE package and the installation script for Ubuntu 12.04 were outdated and have been removed.  The old STP repository does not exist anymore, so we are now providing an archive instead.  The instructions for klee-uclibc have not been updated yet, although a new version is under way.
A proofreading pass over GetStarted.html
Updated doxygen link + minor change.
Updated Getting Started page with instructions for using the new
klee-uclibc.
Fix function name in tutorial