Updating installation instructions with information on install on Ubuntu 13.10. Changing index.rst to provide better overview about important resources for Mantis.