doc(README.md): add coverity scan badge

[skip ci]
doc(README.md): use .svg Lean logo; centering

[skip ci]
doc(README.md): Use img.shields.io/ icon for CDash

[skip ci]
chore(travis): fix bitbucket push

Problem
=======

For efficiency, travis-ci uses shallow clone by doing

    git clone --depth=50 ...

which checks out recent 50 commits from the repo.

However, recent changes on bitbucket side rejects a shallow clone of a
repository.

Solution
========

We do

    git fetch --unshallow;

before we push to other repositories.
doc(README.md): use self-hosted icon for cdas

[skip ci]
feat(kernel): add flag for disabling impredicativity of Prop/Bool in the kernel

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(util/lua): add functions for simulating python-like named arguments using Lua tables

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(library/kernel_bindings): use new functions for simulating python-like named arguments

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(kernel): add global universe level

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>