doc: Leon documentation

* tutorial: worked out max example before sorting
* limitations: clarified stack overflows
* Removed empty descriptions of library.
  We should decide what data type descriptions go into Pure Scala
  and what goes into a library description.