4600: clarify documentation in test_dimacs.py
add free_symbols method to MatrixBase

This allows Matrix(...).free_symbols to work now.