Itamar Haber 931e1d6d30 Adds memory information about the script's cache to INFO
Implementation notes: as INFO is "already broken", I didn't want to break it further. Instead of computing the server.lua_script dict size on every call, I'm keeping a running sum of the body's length and dict overheads.

This implementation is naive as it **does not** take into consideration dict rehashing, but that inaccuracy pays off in speed ;)

Demo time:

```bash
$ redis-cli info memory | grep "script"
used_memory_scripts:96
used_memory_scripts_human:96B
number_of_cached_scripts:0
$ redis-cli eval "" 0 ; redis-cli info memory | grep "script"
(nil)
used_memory_scripts:120
used_memory_scripts_human:120B
number_of_cached_scripts:1
$ redis-cli script flush ; redis-cli info memory | grep "script"
OK
used_memory_scripts:96
used_memory_scripts_human:96B
number_of_cached_scripts:0
$ redis-cli eval "return('Hello, Script Cache :)')" 0 ; redis-cli info memory | grep "script"
"Hello, Script Cache :)"
used_memory_scripts:152
used_memory_scripts_human:152B
number_of_cached_scripts:1
$ redis-cli eval "return redis.sha1hex(\"return('Hello, Script Cache :)')\")" 0 ; redis-cli info memory | grep "script"
"1be72729d43da5114929c1260a749073732dc822"
used_memory_scripts:232
used_memory_scripts_human:232B
number_of_cached_scripts:2
✔ 19:03:54 redis [lua_scripts-in-info-memory L ✚…⚑] $ redis-cli evalsha 1be72729d43da5114929c1260a749073732dc822 0
"Hello, Script Cache :)"
```
2018-04-30 19:33:01 +03:00
..
2012-04-13 17:52:33 -07:00
2016-04-25 16:49:57 +03:00
2016-06-07 16:46:00 -04:00
2018-03-21 15:34:13 +08:00
2016-04-04 08:50:58 +02:00
2018-03-23 17:21:31 +01:00
2015-10-01 13:02:25 +02:00
2017-12-05 15:38:03 +01:00
2017-12-05 15:38:03 +01:00
2016-07-27 11:34:25 +02:00
2016-07-27 11:34:25 +02:00
2016-06-14 14:45:28 +02:00
2018-03-16 16:57:53 +01:00
2018-02-14 00:12:13 +09:00
2014-08-08 10:05:32 +02:00
2018-03-16 13:48:44 +01:00
2017-01-18 17:12:07 +01:00
2015-04-27 12:07:49 +02:00
2015-04-27 12:07:49 +02:00
2017-02-21 17:07:28 +01:00
2014-07-02 16:31:22 +02:00
2018-03-23 17:21:31 +01:00
2017-12-05 17:42:19 +08:00
2017-01-11 19:24:19 +02:00
2011-07-06 15:22:00 +02:00