doc(coverage): add instructions for lcov-1.10

[skip-ci]
refactor(tests/frontends/lean): use consistent name convention for file names

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(lean/scanner): add more tests for improving coverage

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(lean/parser): add more tests for improving coverage

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(build): put --coverage CXX_FLAGS for TESTCOV build
chore(travis): use consistent build name

 - have build name is in the form of
       "<BRANCH>_<CXX_COMPILER>_<BUILD_TYPE>(_TC)?"
   to have consistency over time.
 - have "Generator" field in cdash XMLs which is in the form of
        "<GIT_COMMIT>###<GIT_SUBJECT>"
   it will be displayed as a small mouseover-text.
chore(travis): push all linux builds to cdash