coverage Makefile
cov: clean target
cov: update target file names
test runner
run tests on dirs
test id_int
Merge branch 'master' into tests

* master:
  fix asserts
  arrays to fix
  int cast added
  gitignore updated
rename deps
run test suite to compute coverage
fix bug when imports is empty and not sees
ops
op_minus
README en markdown
documentation tests

Fixes #1
Don't ignore scade2b/tests
check_clean removes *.ok and *.diff
update gitignore