Setting parent of acl2s-defaults to acl2-sedan.

Fixes #306