PALP - a User Manual