Updating the DejaVu fonts; Limiting DejaVu families (#856)