Update debian installation

new deb repo + manual compilation info