update Arduino Library example
.gitignore Scripts/DCS-BIOS/doc
doc/documentation.html: update title tag