Extra examples/ folder in .deb binary packages

[ptroja]

Debian/Ubuntu mosml packages put examples into /usr/share/doc/mosml/examples/examples with double examples in the path.