Port Haskell's Bounded class

This is useful for avoiding magic numbers.
Split Bounded into lower and upper bound type classes
Total order on Nat
Add minimum and maximum on newly defined Order class
Order on Fin
Documentation improvement
Decidable instance for FinLTE
Evaluator bug fix

Weakening out of scope variables should not happen (we had a flawed
assumption about where the evaluator might be called from...)
Fix include for sockaddr_in and initialization of addr in idrnet_sockaddr_ipv4
Parser warnings; especially for invalid doc comments

This patch adds:

 * A facility for non-fatal parser warnings
 * A convenient way to add specific warnings for invalid documentation
   comments
 * Warnings for module doc comments (which are not currently supported)
Fix parameter name propagation

If a name n appears in a parameter (which is therefore fixed) then n is
still fixed itself.
Merge pull request #917 from david-christiansen/bounded

Add type classes for bounded things
Merge pull request #918 from JanBessai/TotalNatOrder

Total order on Nat
Merge pull request #919 from hannesm/fix-rts-idris-net

Fix include for sockaddr_in and initialization of addr in idrnet_sockaddr_ipv4
Merge pull request #921 from david-christiansen/parse-doc-comment-warnings

Parser warnings; especially for invalid doc comments