added insertAt function to Vect
changed the definition of insertAt
Add a prim__systemInfo primitive.

Add System.Info with os and backend functions.

Add system info to JS and C backends.
Add Prelude.Vect.transpose

Test adjusted due to name clash.
Add a decision procedure for Data.Vect.Elem
In type-directed search, handle an additional possible case when processing unification results.
Merge remote-tracking branch 'upstream/master' into typeSearch
Improve appearance of type search results.

Additionally, I refactored some of the Output code to eliminate some
code repetition.
Add Help/autocomplete information for :search
Forgot a comma in adding a help entry for :search
Merge pull request #1264 from melted/sysinfo

Add a prim__systemInfo primitive.
Merge pull request #1270 from Melvar/vect-things

Add transpose and proofy isElem
Merge pull request #1271 from bmsherman/typeSearch

Fix error and improve appearance of results in type-directed search
Merge pull request #1272 from jeffersoncarpenter/vect-insertAt

added insertAt function to Vect
Bound on 'parsers' due to build failure

parsers 11.0.2 currently fails to build - presumably temporarily -
remove the constraint when this is solved.
Let's try that again, but with the 0. ...