Add ability to set ANSI italics

This is not widely supported - it may not work for some users.
Refactored the build inside Setup.hs and the various Makefiles.

* Refactored the Setup.hs script into a much simpler layout.
* Simplified the idris.cabal file, alphabetizing the modules,
  build dependencies, simplifying the indentation, standardizing the
  flags, and normalizing the formatting of lists.
* Fixed a bug in the generation of the executable_pom.xml file for
  the Java backend.
Reverting the change to the POM template and removing the templating/clenup logic for the Java backend.
Add ability to set ANSI italics

This is not widely supported - it may not work for some users.
Preserve colour themes after :e
Merge remote-tracking branch 'origin/color-repl' into color-repl
Merge pull request #496 from david-christiansen/color-repl

Add ability to set ANSI italics
Added note about wiki to README
Merge branch 'master' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-master
Update issue tracker URL
Merge pull request #498 from gabemc/build-changes

Refactored the build inside Setup.hs and the various Makefiles.
Merge pull request #500 from david-christiansen/master

Added note about wiki to README