Add Makefile
First attempt of proving heap property