Gemfile.lock is now in .gitignore
Updated to use extension
Updated the gemfile
removed Gemfile.lock
Merge branch 'master' of ssh://vcs.private.aptus.io:7999/TOOL/virtus-dynamic
Extension library use in proofs is replaced with use of extend method
Obsolete code is removed
Merge branch 'extension-is-not-used-in-proofs'