Make MacStore like coqide more

including bigger icons
fixup fakeide test-suite