MicroG: Free-libre re-implementation of Google's proprietary Android user space