Fixing copyright notes in wrappers
Common wrappers: added license, prettified
Merge branch 'master' of git.sv.gnu.org:/srv/git/liberty-eiffel
Merge branch 'master' of github.com:LibertyEiffel/Liberty
be sure that the default position is unknown
bugfix native_array initialization #12701