simpler apt-key add and some debian notes

This is pr contains some changes I made over time.