refactor(Makefile): do not use full path on makefile rules

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(*): use + for concatenating format objects

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(*): minimize dependencies on tests

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(tests/lean/run): add matrix test

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