A bootstrap for building websites with user sessions in PHP