/**
 * \dir tools
 * \brief Various tools (separate programs)
 */