Graded manifolds, graded Lie theory, and prequantization