Add formatting tool

[tdegeus]

It would be good to have a formatting tool that can:

Ensure label formatting (DONE!)

I.e. enforce labels starting with eq:, fig:, tab:. For example:

\begin{equation}
\label{4}
...
\end{equation}
See \cref{4}

should be changed to

\begin{equation}
\label{eq:4}
...
\end{equation}
See \cref{eq:4}

Ensure label numbering

In the case that labels are simply the float number, the formatting can ensure that the right number is used. For example

\begin{equation}
\label{eq:4}
...
\end{equation}
...
\begin{equation}
\label{eq:2}
...
\end{equation}
See \cref{eq:4}

should be changed to

\begin{equation}
\label{eq:1}
...
\end{equation}
...
\begin{equation}
\label{eq:2}
...
\end{equation}
See \cref{eq:1}

Ensure cleveref (DONE!)

Rename:

• Fig.~\ref{mylabel}
• Fig. \ref{mylabel}
• Figure \ref{mylabel}
• Figure~\ref{mylabel}
• Tab.~\ref{mylabel}
• Tab. \ref{mylabel}
• Table \ref{mylabel}
• Table~\ref{mylabel}
• Eq.~\ref{mylabel}
• Eq. \ref{mylabel}
• Equation \ref{mylabel}
• Equation~\ref{mylabel}

to

\cref{mylabel}

Something clever should be considered for

• Eqs.~\eqref{a}, \eqref{b}, and \eqref{c}: can be formatted
• Eq.~(\ref{a}--\ref{c}): can be formatted, or should throw a warning

(Languages should be considered)

[tdegeus]

Mostly done, still remaining: #32 and #31