add custom release profile with debuginfo enabled

This is primarily useful for profiling. Also change the nix package to decide whether to strip based on whether the "release" profile is used.

Not sure if we actually want the second commit, but I wrote it already, so now we can decide together.