Updated README for version that uses embeddable-maxima