configury: remove spurious ROCKSPEC_ENV reference.

* GNUmakefile (MKROCKSPECS): Remove unused $(ROCKSPEC_ENV).

Signed-off-by: Gary V. Vaughan <gary@gnu.org>
configury: simplify bootstrap a little.

* bootstrap.conf: Remove.
* bootstrap: Create ChangeLog stub. Call autoreconf. Nothing more.
* GNUmakefile (Makefile.in): Remove unused bootstrap arguments.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>
configury: move to updated lua-stdlib machinery.

* build-aux/mkrockspecs.lua: Remove...
* build-aux/mkrockspecs: ...and replace with lua-stdlib master
version.
* specl-rockspec.lua: Move from here...
* rockspecs.lua: ...to here.
* GNUmakefile: Adjust accordingly.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>
specs: remove speclc and lua spec compatibility.

There is too much magic involved in hand-writing a compatible
Lua format specfile now.  Remove support and simplify accordingly.
* build-aux/speclc.in: Remove.
* specs/specs.mk: Remove speclc creation and all invocations.
(.yaml.lua, specl_LUASPECS): Remove.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>
formatters: display elapsed wall clock time in summary.

* specl/matchers.lua (M.stats.starttime): Call os.time instead of
os.clock, to get wall clock time instead of CPU seconds burned.
* specl/formatter/progress.lua (footer): Likewies when calculating
the elapsed time to display.
* specl/formatter/report.lua (footer): Likewise.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>