Add trouble-shooting tip for readline library

Update Catch2 version to fix #24

Update Gmail address to SoSy mail address

Add a configuration to bddsp-mpec (build BDD without reordering)

Increase the memlimit to 15 GB

Record and print the time elapsed for the best lower bound

Modify command print_stats for eaiser parsing

Update PPE benchmarking files (probmiter is first simplified)

Reorganize PPE benchmarks so that table-generator works as desired

Simplify miters before dumping out files

Fix problems related to file IO

Create XML files for PPE experiments

Generate benchmarking files for PEC and MPEC

Add a command to generate files of PPE

Read probabilities from the original file in command bddsp