Mira: upgrade to 4.0.2.

The Boost libraries aren't discovered unless they are passed to make.

Closes #968.
Upgrade asl to v20140617.

Closes #978.
elemental 0.84-p1

Elemental is an open-source library for distributed-memory dense
linear algebra which attempts to strike a careful balance between ease
of use and high performance.