Library jenga

The entry point for this library is module Jenga_lib.