Improve/fix Leiningen usage

[JohnnyJayJay]

This PR changes/fixes 3 small things that improve the usage of clj-nix for Leiningen users:

• Fixing the faulty assertions for the withLeiningen module option (closes Unsatisfiable condition for option withLeiningen #144 )
• Propagating withLeiningen to the derivation as enableLeiningen (so the option actually does something)
• Adding an option --lein-profiles to the deps-lock CLI that allows one to set the profile(s) to use when generating the lock file. This is useful to have because currently, all custom profiles are merged (which can result in unwanted configuration outcomes that break the build, e.g. due to :repositories or :offline? options).

[jlesquembre]

Thanks! Look good.
CI tests are failing, but that's related to the latest graalvm update on nixpkgs, nothing to do this your PR.
I want to run a couple of tests before merging

[jlesquembre]

👍 that was the idea, thanks!

[JohnnyJayJay]

I want to run a couple of tests before merging

Yeah this currently isn't tested well. I'm also throwing it at my use case right now.

Edit: The --lein-profiles option doesn't seem to be working yet. Not sure why that is though

[jlesquembre]

@JohnnyJayJay I'm not familiar with Leiningen, I didn't test the --lein-profiles, but for my primary use case (building babashka) works as expected.
Let me know if you want to investigate the issue further. Otherwise, I suggest removing the --lein-profiles option and merge the other commits.

[JohnnyJayJay]

@JohnnyJayJay I'm not familiar with Leiningen, I didn't test the --lein-profiles, but for my primary use case (building babashka) works as expected. Let me know if you want to investigate the issue further. Otherwise, I suggest removing the --lein-profiles option and merge the other commits.

I definitely want to investigate further. Something very strange is happening with the with-profiles thing in general that breaks my builds.

[JohnnyJayJay]

Aha, I found the issue – the :user profile configuration generated by clj-nix is ignored if with-profiles is used, leading to missing dependencies. Fixing it by always adding the user profile.

[JohnnyJayJay]

It's good to be merged from my side now.

[jlesquembre]

Thanks!