Istanbul coverage generation for specs

closes #77