Top-level package for wyjec implementation. This package is also intended as a placeholder for packages of various "standard" applications related to Wyjec.