Optimized images in ML HOL

Update README.md

Corrections and formatting improvements to readme docs

README: Corrected formatting of bold inside italic

Because markdown

Updates to readme to list release date and source in header

Corrected Markdown issue causing section to be rendered as code.

Merge pull request #4 from noopman/master

Demo review of the Demo.md files.

Merge pull request #4 from noopman/master

Demo review of the Demo.md files.