cleanup - TODO has been fixed already
add ML-Dev to target platform

support for ML files is provided by ML-Dev plug-in, not by Isabelle/Eclipse. Instead, just bundle it in Isabelle/Eclipse product.
include ML-Dev in product feature and launch
add ML-Dev update site so that its updates can be queried
Merge branch 'ml-support'