Leginon

r15220 adds formatExposuretime function and use it in imgreport.php and getpresets.php Also debug getpresets.php so that it does not show exposure time unless it can be found and is asked for by adding the line $p[] = 'exposure time'; The option to display exposure time is rarely used in the viewer but I add it for completeness.

1. visit myamiweb and view any image, click on i to see imgreport.php. The exposure time, if available, should show ms at the end and is truncated to 1 digit after decimal point.
2. add the line $p[]='exposure time' to getpresets.php with other definitions. The exposure time, if available, should show with ms as unit in the same line as mag, defocus, etc. on top of the image in the viewer.