'clara impi connect' add also flags in alternative commands. Update documentation. Fix #43
'clara repo sync' also sync debian-installer section. Fix #47
Update build-depends to build the new documentation in pdf.
'clara images edit': it asks now the user how to proceed instead of looking for /IGNORE. Fix #46
'clara images' the 'dist' parameter is now mandatory. Fix #45
'clara repo' the 'dist' parameter is now mandatory. Fix #44
Update documentation.