GitLab

If the wget or if the first tar fails, we should exit immediately and make
should know there was an error. Otherwise builds could appear as successful
while they were not.

Feature a/fix valgrind issues

See merge request !149

set_index() keeps track of the number of germlines refeering to it.
This is necessary so that the last germline destructor can actually
delete the index.

Memory is correctly free-ed with a return, while it is not with an exit.
Valgrind will thus complain when terminating the program with an exit()
this won't be the case with a return.

Add LIL-L4 demo sequences, 'make demo'

See merge request !147

Thanks to the previous commit of @mikael-s.

Useful so that make doesn't tell it has failed while it was just the file that
already existed

See !147

See #3003.

See #3003.

'make demo' should be run before this

See #2635.

Follows #3003.
Re-closes #3032.

We add '-X 1000' to command lines on LIL-L4.
See #3027.

Closes #3032.

out/ directory may not exist, leading to errors.
In that case we can do without temporary files.

When calling exit() the memory allocated by the system is not
properly free-ed. This is not really a problem in itself but
Valgrind will complain about that.

There are two solutions:
1. replace exit() with return, but this
   requires to be in the main() function
2. prevent Valgrind from being used in
   other cases (exit because of an error)

See #3031

Some allocations were not properly free-ed.
Spotted by Valgrind.

See #3031

See #3031

See #2247.

Closes #3003.

See #3003.