core-updates, wip-armhf, and 0.8.1

[Ludovic Courtès]

I’d like to merge core-updates to master Real Soon Now.  The last
missing bit for me is the Libtool upgrade, which shouldn’t be too hard
(surprisingly, Libtool has a number of test failures on MIPS:
<http://hydra.gnu.org/build/181662/nixlog/2/raw>; I’m tempted to disable
tests on MIPS altogether.)

The question is whether we should merge wip-armhf in core-updates
before.  I think it may be more reasonable to postpone that.  Mark?

Then I would like to make a primarily-bug-fix release, probably 0.8.1.

Thoughts?

Ludo’.