The classical BV formalism