Minor fixes for Linux release

We just noticed that the Linux release did not contain the latest patches, most notably it is missing the Linino boards, an issue with number boxes in languages using comma as decimal separator, and a schematic issue.

The downloads have now been refreshed, so we recommend all Linux users who have already downloaded 0.9 to update. Sorry for this extra step!