* editorconfig: add override for the server HTML (which already is 2-space indented) * server: add a subtle loading animation to the edit box
* makefile: correct deps for server * server: tighten settings layout a little * server: expose all currently configured generation params in UI * server: expose remaining generation params, for the adventurous * server: embetter mirostat fields
Fixes #1473