ASDF 3 update: no more need for slot-unbound proof accessors.

2013-07-02  Didier Verna  <didier@didierverna.net>

	* src/util/asdf.lisp: Remove all slot-unbound proof ASDF accessors.
	* package.lisp (:com.dvlsoft.declt): Import them directly from
	ASDF instead.