Makefile fitted to our purpose. make github is enough for publishing
changes.