Focus interface refinement

[ojf]

Focus interface is a confusing point for people. Very few use the increment/de-increment buttons, focus value is sort of hidden on other side of window. Refinement is needed, and personally I'd like to use terminology that makes clear if the mirror is moving in or out, but we haven't discussed yet.