Add links to SML "testing frameworks"
Move links to ML frameworks to Background to Project
Add discussion about formal verification and usage of SML
There are differences between SML implementations too
Elaborate on SML characteristics
Add references and change list style
Update PDF