Fixes bug 736488 - Accept short os names in search with elasticsearch.
Merge pull request #1247 from AdrianGaudebert/736488-os-short

Fixes bug 736488 - Accept short os names in search with elasticsearch.