A function that just returns the constant nil.
This is occasionally useful for defattach, etc.
Function: false
(defun false nil (declare (xargs :guard t)) nil)
