all: starting development of 0.12.7
debian: README.Debian: removed as obsolete