Stack 1.7 (dev)

This is used for tests on Travis, since Stack 1.7 has not yet been released.

The uploaded binary is for linux 64 bits.