starting new html skeleton for figures showing 'proof tasks' for the tool chapter