Updating a former reference to googlecode.
Setting parent of acl2s-defaults to acl2-sedan.

Fixes #306
Merge commit '81398e7dfae3f153e2950435e2c9812b64848d9a' into HEAD