Add mix function to headers
Update headers to a generated version

Note: the generator program will replace the headers in the near future.
Merge pull request #1 from Realeyes/master

Replace PENCIL std library headers with generated versions.