Fixed bug to remove tmp files

Signed-off-by: Herbert <herberthb12@gmail.com>
Update mapping to support increment assignments, e.g., a[i]++

Signed-off-by: Herbert <herberthb12@gmail.com>
Added support to alloca C function

Signed-off-by: Herbert <herberthb12@gmail.com>
Updated rule "funInvalidPoint" to in claim translation

Signed-off-by: Herbert <herberthb12@gmail.com>
Added some text to plan a partial check to alloca C function

Signed-off-by: Herbert <herberthb12@gmail.com>
Added planning to improve the use of __VERIFIER_nondet_int()

Signed-off-by: Herbert <herberthb12@gmail.com>
Replaced ctags by a python class using Pycparser

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>
Merge branch 'fixbug_from_tests' of https://github.com/hbgit/Map2Check-Fortes

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>

Conflicts:
	CHANGELOG
	modules/points2leak/identify_points2leak.pyc
Tested after merge branch

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>