Add minilens game

The buildscript may be useful for other godot games, too.

Don't add just yet please, because minilens is still in development, and the 1.1 release is still to come (in less than a month, but if its ready they release it the same day). Godot was patched (so using my github repo), but will change if when the patch is merged upstream. Only the first commit is required for the build to succeed.