debian puppet installation