Adds a header line with variable names to the result of stable state search. Fixes #6.