saving revisions

Change-Id: I27cd7f554019ebdb6c15dd9edd0c334a5f3654c0
reading dump; command-line parameters

Change-Id: Icb1dc34aea3b290c3250b0f2db23cfe00a185a06
cmake test

Change-Id: I12bdde53eab9ab4764d18b8e7c7d091ba3174eb9