better treatment exporting ImmutableMatrix
factor, expand
count test failures/successes correctly
isempty fix incorrect doc
Doc updates

Squashed commit of the following:

    doc update
    doc updates for all/any
    better docs for double, add tests
    call it "OctSymPy" in the copyright headers
Merge branch 'dev'