Leda has been removed

https://github.com/sergeyzavadski/leda

Seems to be emptied out, so I removed Leda from the frameworks.