Current -dev builds

freeminer-* : freeminer protocol for servers
freeminermt-* : minetest protocol for servers
*.apk : for android, also google play f-droid