Add Mina as another benchmark
Partially translate the plugin to Lombrello

It is not working yet, and has a lot more work to be done
Add necessary source files to compile miniboxing