Upgrade to libmini-os 0.3 and openlibm 0.4

Also, don't build in debug mode (this disables all optimisations).