three commits: add a handful of symbols to the basic Greek layout

They were added to the extended and polytonic layouts. If they are actually useful, it won't hurt to add them to the default Greek layout (in free and until-now unused places).

This is related to !619 (merged), which afterward will delete the pointless extended variant.