Rework float-ticks/second-init: give it a reasonable default value, initialize it later, and print a warning instead of causing an error when the initialization fails

git-svn-id: http://acl2-devel.googlecode.com/svn/branches/centaur@1322 5d84a466-a78b-0930-a311-59b22171a541