Improved implementation.
Better specification for all_tass_l.
Convenience function.
Removed superfluous and misleading function fullxoreqs_fcl.

MG, please comment on the question in
Experimentation/Investigations/Cryptography/KeeLoq/plans/general.hpp.