Added debian makefile and a recent checkpoint.