Spacing
Whitespace
Add --boot-min and C_22(t) export

Squashed commit of the following:

commit ab515fc28e5f7618bf93189d950cbd739839969f
Author: Martin Ueding <dev@martin-ueding.de>
Date:   Fri Jun 6 13:48:31 2014 +0200

    Fix computation

commit 080364df7d9a0f6b4ff4c2cda7e8ed1247d1cfe6
Author: Martin Ueding <dev@martin-ueding.de>
Date:   Fri Jun 6 11:33:57 2014 +0200

    Save C22

commit 2d0dd6f9c1e768d79de01939f55f42ca7d2afe9d
Author: Martin Ueding <dev@martin-ueding.de>
Date:   Fri Jun 6 11:31:01 2014 +0200

    Do not change archive type

commit 0d8333771d0c2a208f2fb2d1327116c571bd0a90
Author: Martin Ueding <dev@martin-ueding.de>
Date:   Fri Jun 6 11:25:44 2014 +0200

    Commit
Revert "Remove more unused code"

This reverts commit f1b6fe7b28b0aeef6a1980c83d5be5cdc13a4871.
Estimate needed memory
Add another run script
Add more options to run script
Add --corr-tau-count option