Bumped version to 0.1.3.1
Added coverage to CI.