Version bump mirall-1.3.0 and ocsync-0.80.0 and some cleanup