Print information about the libraries used in the greeting message

I had nothing better to do whilst sitting at the back of the room during the DEX workshop...

See merge request !72

Truncate output from MPI version call so that it fits on one line, try to do this tidely for known libraries

Fix some typos

This reverts commit 144739bd.

Add fixes for -Wformat-security warnings.

This doesn't allow non-string literals as formats, these may include format specifiers and can cause buffer overruns, maybe. Seen on Ubuntu.

See merge request !69

This doesn't allow non-string literals as formats, these may include format specifiers and can cause buffer overruns, maybe.

Fix in the case where the git branch and revision cannot be recovered.



See merge request !67

Dynamic unlocks

Get rid of the fixed-size unlocks array in each task, and the link-task madness that this led to.

Peter, could you give this a thorough run to make sure it doesn't break anything new? Thanks!

See merge request !66

make sure the unlock_inds are correct after scheduler_set_unlocks, just in case we cant to call it repeatedly.

use dynamic unlock pointers, i.e. the unlock_tasks array in each task is just a pointer to a pool of pointers in the scheduler. this pool needs to be sorted whenever tasks are added.

Cleaned-up runner.h to avoid include problems in the standalone tests.



See merge request !65