DOC: Default `make` only builds icra2015formalmethodschallenge
DOC: Default `make` only builds icra2015formalmethodschallenge

Use `make all` to build everything.

fmrchallenge/fmrbenchmark,fmrchallenge/fmrbenchmark,fmrchallenge/fmrbenchmark