Remove useless files

The libs and distribution are useless since you’ve migrated to Maven.

It’ll be good to permanently remove them from Git history to decrease the repository size (it’s 34 MiB now). This requires rewriting of all history with some _black magic_. I can do that, but it can’t be send as PR, it’s about rewriting all repository. What do you think?