Make proof arguments to list functions implicit

This makes code much cleaner.  Fixes #1318.
Add a Travis target for make lib_doc

This makes sure that we haven't broken idrisdoc generation for the library.

Fixes #1442
Merge remote-tracking branch 'refs/remotes/upstream/master' into issue/1318

Conflicts:
	CHANGELOG
Strip ANSI codes from parser errors in IDE

Fixes #1458.
Merge pull request #1457 from david-christiansen/issue/1442

Add a Travis target for make lib_doc
Merge pull request #1427 from david-christiansen/issue/1318

Make proof arguments to list functions implicit
Take .lidr syntax into account with :addmissing

Fixes #1460.
Merge pull request #1459 from david-christiansen/issue/1458

Strip ANSI codes from parser errors in IDE
Merge pull request #1461 from david-christiansen/issue/1460

Take .lidr syntax into account with :addmissing