Available solvers

Now we list the available solvers including a little bit on their capabilities and pedigree as well as a hyperlink to available documentation.