Updated build spec to SBT 0.13.5+, updated coverage plugin