theme: add axis minor ticks options.

[alshan]

See ggplot2 theme: https://ggplot2.tidyverse.org/reference/theme.html

It seems theme options for axis minor text are also nice to have (missing in ggplot2).

[alshan]

Related: #995 , #1183