Merge branch 'gitignore' into bug17-weblua
Separate lists for ported and unported demos
Merge branch 'bug17-weblua' into gh-pages