Yggdrasil 0.1-020

Updated core library to 0.5.12, presenting these changes: Fixed A timing regression which causes a higher level of idle protocol traffic on each peering has been fixed Fixes in Android app Some UI fixes and improvements Updated some dependencies Updates from previous versions: Changed The parent selection algorithm now only chooses a new parent if there is a larger cost benefit to doing so, which should help to stabilise the tree The bloom filters are now repropagated periodically, to avoid