Developer tool plugins

Tools for plugin developers: debugging, profiling, building and testing PocketMine-MP plugins.

No plugins here yet: the catalog is brand new. Publish the first one, or check back soon.