Support explicit namespaces in IDESlave :type-of
Add IDESlave command for getting documentation

This is used by Emacs to get documentation for the symbol at point.
Merge remote-tracking branch 'upstream/master' into ideslave-explicit-namespaces
Add missing output annotation serialization to ideslave
Merge pull request #910 from david-christiansen/ideslave-explicit-namespaces

IDESlave improvements: namespaces and docs
Enable refinement by infix operators in prover

Fixes #873.
Merge pull request #914 from raichoo/javascript

javascript: use %include directive to include external javascript files
Merge pull request #915 from david-christiansen/issue/873

Enable refinement by infix operators in prover
Proof search fix
Tinker with popen/poll
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)